Three-valued logic